Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

170 CLI command to generate PHI term #511

Draft
wants to merge 2 commits into
base: master
Choose a base branch
from
Draft

170 CLI command to generate PHI term #511

wants to merge 2 commits into from

Conversation

Anatolay
Copy link
Collaborator

@Anatolay Anatolay commented Oct 16, 2024

PR-Codex overview

This PR introduces the QuickCheck library for property-based testing and adds functionality for generating random PHI terms. It enhances the command-line interface to support new generation commands and includes a new module for term generation.

Detailed summary

  • Removed unordered-containers and containers from package.yaml.
  • Added QuickCheck to dependencies in eo-phi-normalizer.cabal.
  • Introduced Language.EO.Phi.Generate module for generating random PHI terms.
  • Added CLI'Generate data type for new command-line options.
  • Updated commandParser and commandParserInfo to include generation commands.
  • Implemented generateObjectsWith function for generating objects based on specified parameters.

✨ Ask PR-Codex anything about this PR by commenting with /codex {your question}

@0crat
Copy link

0crat commented Oct 17, 2024

@Anatolay As per our work policy, naming Git branches like "generate" is not recommended and incurs a penalty. You've been deducted 12 points for this violation. In the future, please name your branch after the ticket number you're working on, such as "510". This helps maintain consistency and improves project organization. Let's adhere to the guidelines to enhance our workflow efficiency.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants